/*
 * Boolean.h
 *
 *  Created on: May 2, 2012
 *      Author: lorenzo
 */

#ifndef BOOLEAN_H_
#define BOOLEAN_H_

class Literal {
public:
	Literal(bool* value, bool negation);
	virtual ~Literal();

	bool evaluate();
	//void setValue(bool newValue);

private:
	bool* value;
	bool negation;
};

#endif /* BOOLEAN_H_ */
